$\forall$$T$:Type, $n$:$\mathbb{N}$, $f$:(int\_seg(0; $n$)$\rightarrow$$T$). mklist($n$; $f$) $\in$ ($T$ List)